Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 Concurrency Patterns
Race Conditions, Mutexes, Channels, Thread Safety, Lock-Free
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
146317
posts in
27.3
ms
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🧵
Loom
A Review of
Uncle
Bob's Functional Design:
Principles
, Patterns, and Practices
coding-mischief.com
·
4h
·
Discuss:
Hacker News
λ
Functional Programming
Coordination Computation Class: Necessary Conditions for
Bounded
Multi-Agent
Semantics
dev.to
·
17h
·
Discuss:
DEV
🌊
CALM Theorem
The ongoing quest for atomic
buffered
writes
lwn.net
·
4h
🚧
Memory Barriers
Getting
Started
with Python
Async
Programming
kdnuggets.com
·
10h
🔄
Concurrency
Refining
Almost-Safe Value Functions on the
Fly
arxiv.org
·
22h
λ
Functional Programming
Async
in
depth
tokio.rs
·
10h
⏳
Async Rust
Simulating
Queueing
buttondown.com
·
8h
📮
Multi-producer Queues
Async
Programming Is Just @
Inject
Time
willhbr.net
·
15h
📚
Stack Unwinding
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
5h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🌊
Glommio
Testing Postgres race conditions with
synchronization
barriers
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
✅
Optimistic Concurrency Control
Understanding
SMF
properties
davepacheco.net
·
5h
🛡️
Memory Safety
Scoped
Resources in C with `__attribute__((
mulle
_confined_loop))`
mulle-kybernetik.com
·
16h
🦀
Rust Macros
Høiland-Jørgensen
: The inner workings of TCP zero-copy
lwn.net
·
7h
🌐
TCP/IP
Speak Now: Safe Actor Programming with
Multiparty
Session
Types
arxiv.org
·
22h
🔄
Concurrency Models
Large induced
matchings
and minimal blocking sets using
parabolas
anuragbishnoi.wordpress.com
·
6h
💃
Dancing Links
Understanding
Encapsulation
in Java: The "
Capsule
" of Modern Coding
dev.to
·
10h
·
Discuss:
DEV
🎯
Escape Analysis
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
10h
✓
Formal Verification
fast-servers: an
interesting
pattern
geocar.sdf1.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔐
Futexes
Claude code
underlap.org
·
1d
🦀
Rust
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help